Issue2576.agda:6,1-13
Multiple definitions of ⊥. Previous definition at
Issue2576.agda:5,6-7
when scope checking the declaration
  data ⊥ where
